Optimal. Leaf size=97 \[ -\frac{6 b \text{PolyLog}\left (2,\frac{b}{a x}+1\right ) \log \left (c \left (a+\frac{b}{x}\right )\right )}{a}+\frac{6 b \text{PolyLog}\left (3,\frac{b}{a x}+1\right )}{a}+\frac{(a x+b) \log ^3\left (a c+\frac{b c}{x}\right )}{a}-\frac{3 b \log \left (-\frac{b}{a x}\right ) \log ^2\left (c \left (a+\frac{b}{x}\right )\right )}{a} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.110328, antiderivative size = 97, normalized size of antiderivative = 1., number of steps used = 7, number of rules used = 7, integrand size = 13, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.538, Rules used = {2453, 2449, 2454, 2396, 2433, 2374, 6589} \[ -\frac{6 b \text{PolyLog}\left (2,\frac{b}{a x}+1\right ) \log \left (c \left (a+\frac{b}{x}\right )\right )}{a}+\frac{6 b \text{PolyLog}\left (3,\frac{b}{a x}+1\right )}{a}+\frac{(a x+b) \log ^3\left (a c+\frac{b c}{x}\right )}{a}-\frac{3 b \log \left (-\frac{b}{a x}\right ) \log ^2\left (c \left (a+\frac{b}{x}\right )\right )}{a} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2453
Rule 2449
Rule 2454
Rule 2396
Rule 2433
Rule 2374
Rule 6589
Rubi steps
\begin{align*} \int \log ^3\left (\frac{c (b+a x)}{x}\right ) \, dx &=\int \log ^3\left (a c+\frac{b c}{x}\right ) \, dx\\ &=\frac{(b+a x) \log ^3\left (a c+\frac{b c}{x}\right )}{a}+\frac{(3 b) \int \frac{\log ^2\left (a c+\frac{b c}{x}\right )}{x} \, dx}{a}\\ &=\frac{(b+a x) \log ^3\left (a c+\frac{b c}{x}\right )}{a}-\frac{(3 b) \operatorname{Subst}\left (\int \frac{\log ^2(a c+b c x)}{x} \, dx,x,\frac{1}{x}\right )}{a}\\ &=\frac{(b+a x) \log ^3\left (a c+\frac{b c}{x}\right )}{a}-\frac{3 b \log ^2\left (c \left (a+\frac{b}{x}\right )\right ) \log \left (-\frac{b}{a x}\right )}{a}+\frac{\left (6 b^2 c\right ) \operatorname{Subst}\left (\int \frac{\log \left (-\frac{b x}{a}\right ) \log (a c+b c x)}{a c+b c x} \, dx,x,\frac{1}{x}\right )}{a}\\ &=\frac{(b+a x) \log ^3\left (a c+\frac{b c}{x}\right )}{a}-\frac{3 b \log ^2\left (c \left (a+\frac{b}{x}\right )\right ) \log \left (-\frac{b}{a x}\right )}{a}+\frac{(6 b) \operatorname{Subst}\left (\int \frac{\log (x) \log \left (-\frac{b \left (-\frac{a}{b}+\frac{x}{b c}\right )}{a}\right )}{x} \, dx,x,a c+\frac{b c}{x}\right )}{a}\\ &=\frac{(b+a x) \log ^3\left (a c+\frac{b c}{x}\right )}{a}-\frac{3 b \log ^2\left (c \left (a+\frac{b}{x}\right )\right ) \log \left (-\frac{b}{a x}\right )}{a}-\frac{6 b \log \left (c \left (a+\frac{b}{x}\right )\right ) \text{Li}_2\left (1+\frac{b}{a x}\right )}{a}+\frac{(6 b) \operatorname{Subst}\left (\int \frac{\text{Li}_2\left (\frac{x}{a c}\right )}{x} \, dx,x,a c+\frac{b c}{x}\right )}{a}\\ &=\frac{(b+a x) \log ^3\left (a c+\frac{b c}{x}\right )}{a}-\frac{3 b \log ^2\left (c \left (a+\frac{b}{x}\right )\right ) \log \left (-\frac{b}{a x}\right )}{a}-\frac{6 b \log \left (c \left (a+\frac{b}{x}\right )\right ) \text{Li}_2\left (1+\frac{b}{a x}\right )}{a}+\frac{6 b \text{Li}_3\left (1+\frac{b}{a x}\right )}{a}\\ \end{align*}
Mathematica [A] time = 0.0253013, size = 91, normalized size = 0.94 \[ \frac{-6 b \text{PolyLog}\left (2,\frac{b}{a x}+1\right ) \log \left (\frac{c (a x+b)}{x}\right )+6 b \text{PolyLog}\left (3,\frac{b}{a x}+1\right )+\left ((a x+b) \log \left (\frac{c (a x+b)}{x}\right )-3 b \log \left (-\frac{b}{a x}\right )\right ) \log ^2\left (\frac{c (a x+b)}{x}\right )}{a} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.549, size = 0, normalized size = 0. \begin{align*} \int \left ( \ln \left ({\frac{c \left ( ax+b \right ) }{x}} \right ) \right ) ^{3}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \frac{{\left (a x + b\right )} \log \left (a x + b\right )^{3} + 3 \,{\left (a x \log \left (c\right ) - a x \log \left (x\right )\right )} \log \left (a x + b\right )^{2}}{a} + \int \frac{a x \log \left (c\right )^{3} + b \log \left (c\right )^{3} -{\left (a x + b\right )} \log \left (x\right )^{3} + 3 \,{\left (a x \log \left (c\right ) + b \log \left (c\right )\right )} \log \left (x\right )^{2} + 3 \,{\left ({\left (\log \left (c\right )^{2} - 2 \, \log \left (c\right )\right )} a x + b \log \left (c\right )^{2} +{\left (a x + b\right )} \log \left (x\right )^{2} - 2 \,{\left (a x{\left (\log \left (c\right ) - 1\right )} + b \log \left (c\right )\right )} \log \left (x\right )\right )} \log \left (a x + b\right ) - 3 \,{\left (a x \log \left (c\right )^{2} + b \log \left (c\right )^{2}\right )} \log \left (x\right )}{a x + b}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left (\log \left (\frac{a c x + b c}{x}\right )^{3}, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} 3 b \int \frac{\log{\left (a c + \frac{b c}{x} \right )}^{2}}{a x + b}\, dx + x \log{\left (\frac{c \left (a x + b\right )}{x} \right )}^{3} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \log \left (\frac{{\left (a x + b\right )} c}{x}\right )^{3}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]